Fossil Test - Pull Request

Description

This PR add more test cases to cover new assumptions for soap, char, memory and more, not only that cases have been added for mark as will.

Last notable change is that now assume will display both the variable name and value stored in variable to better inform the tester about the failed result and avoid the black box issue.

Testing

New test cases for new assumptions and new cases for benchmark.

Checklist

• Code follows the project's coding standards.
• Tests have been added or updated to cover the changes.
• Documentation has been updated to reflect the changes.
• The code has been reviewed by team members.
• All checks and tests pass.
• The license header and notices are updated where necessary.

License

This project is licensed under the Mozilla Public License - see the LICENSE file for details.